acm sigbed
|
emsoft
|
participants
Yatin A. Manerkar
EMSOFT 2023: 23rd International Conference on Embedded Software
Towards Building Verifiable CPS using Lingua Franca
Shaokai Lin
,
Yatin A. Manerkar
,
Marten Lohstroh
,
Elizabeth Polgreen
,
Sheng-Jung Yu
,
Chadlia Jerad
,
Edward A. Lee
, and
Sanjit A. Seshia
10.1145/3609134
https://people.eecs.berkeley.edu/~sseshia/pubdir/lfverifier-tecs23.pdf